home *** CD-ROM | disk | FTP | other *** search
- FlexeLint - Gimpel Software
-
- KEYWORDS: language, software development, symbolic debugging, system development, debugger, Languages, Debuggers & Libraries , 215
-
- Static C Checker
-
- FlexeLint is a diagnostic facility for C. It will find bugs, glitches, and
- inconsistencies that your compiler working on one module at a time will miss.
- FlexeLint is distributed in ``shrouded source'' form. It requires only K and R
- C to compile but will support ANSI C
-
- FlexeLint will find inconsistent declarations, argument/parameter mismatches,
- uninitialized variables, unaccessed variables, variables assigned but not used,
- suspicious macros, indentation irregularities, function inconsistencies,
- unusual expressions, printf-scanf irregularities, order of evaluation, and
- more. FlexeLint is fully customizable; all error messages can be selectively
- inhibited; size of scalars can be altered; format of error messages can be
- adjusted, etc. FlexeLint supports strong type checking based on ``typedef.''
-
-
-
- Gimpel Software
- Tel: (215) 584-4261
- Fax: (215) 584-4266
- Anneliese Gimpel
-